Section: New Results

Privacy, Electronic Voting, and Auctions

Participants : Benjamin Smyth [correspondant] , Elizabeth Quaglia.

Benjamin Smyth worked on a formal analysis of privacy in Direct Anonymous Attestation schemes  [50] . He also showed how to verify commitment protocols in ProVerif without False attacks  [39] .

Apart from these published works, Benjamin Smyth and Elizabeth Quaglia worked on formal security analyses of electronic auction schemes based on existing models for electronic voting  [48] . Benjamin Smyth worked on developing new formal definitions for secrecy and independence in election schemes  [51] , and on applying such definitions to the security analysis of real-world voting protocols such as Helios and JCJ  [49] .